DEF=fun-test
EXT=test
TESTDIR=.
KOMPILE_BACKEND=llvm
KOMPILE_FLAGS=--syntax-module FUN-TEST

include ../../../include/kframework/ktest.mak
